$\forall$${\it es}$:ES, $X$:AbsInterface(Top), $e$, ${\it e'}$:E($X$). Dec($e$ = ${\it e'}$)